Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
181	Guide to Program Evaluation Getting Started What is Evaluation; Types of Evaluation Activities; Benefits of Evaluation; Evaluation Concerns; Evaluation Constraints Planning the Evaluation Are You Ready for Evaluation; Wo Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:09:04 Science Impact assessment Program evaluation Logic model Impact evaluation Gang Resistance Education and Training Systems engineering process Empowerment evaluation Performance measurement Evaluation methods Evaluation Sociology
182	Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:07 Logic in computer science IEEE Symposium on Logic in Computer Science Kleene award Association for Computing Machinery Federated Logic Conference ACM SIGACT Theoretical computer science Computer science Applied mathematics
183	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
184	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic
185	WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:18 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
186	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:59 Formal methods Logic in computer science Model checking Satisfiability Modulo Theories Static program analysis Abstract interpretation Abstraction C Software bug Theoretical computer science Software engineering Computing
187	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
188	Evaluation News - February 2011 Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:08:53 Substance abuse Justice United States Department of Justice Criminal law Criminal justice National Institute of Justice Parole Program evaluation Logic model Ethics Evaluation methods Evaluation
189	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
190	Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair) Add to Reading List Source URL: stacs2009.informatik.uni-freiburg.de Language: English - Date: 2008-05-21 04:30:44 Computer science Academic publishing University of Freiburg Susanne Albers Proceedings IEEE Symposium on Logic in Computer Science Electronic submission CONFER Theoretical computer science Symposium on Theoretical Aspects of Computer Science Academia

UPDATE